Special issue on automated deduction: Decidability, complexity, tractability

Special Issue

On Decidability and Tractability of Querying in Temporal EL

We study access to temporal data with TEL, a temporal extension of the tractable description logic EL. Our aim is to establish a clear computational complexity landscape for the atomic query answering problem, in terms of both data and combined complexity. Atomic queries in full TEL turn out to be undecidable even in data complexity. Motivated by the negative result, we identify well-behaved ye...

Special issue on Automated Verification of Critical Systems (AVoCS'11)

AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of ...

Special issue on Automated Specification and Verification of Web Systems

We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to: Rule-based approaches to Web system analysis, certification, specification, verification, and optimization. Languages and models for programming and designing Web systems. Formal methods for describing and reasoning about Web systems. Model-checking, synthesis and debugging of ...

Special Issue on Advances in Agent-mediated Automated Negotiations

Complex Automated Negotiations have been studied very widely and becoming an emerging area in the field of Autonomous Agents and Multi-Agent Systems. In general, a negotiation could be complex because many factors need to be considered to specify such a negotiation. These factors may include a number of negotiation issues, dependency of issues, representation of utilities, negotiation protocols...